Tools and Algorithms for the Construction and Analysis of Systems
by Bernhard Steffen, Fabrice Kordon, Marieke Huisman
ISBN 13: 9781013271212
Format: Hardcover (280 pages) Publisher: Saint Philip Street Press Published: 08 Oct 2020
Save for later